THE MODAL LOGIC OF FORCINGHAMKINS, Joel David; LOWE, Benedikt.Transactions of the American Mathematical Society. 2008, Vol 360, Num 4, pp 1793-1817, issn 0002-9947, 25 p.Article

Une logique modale pour le raisonnement dans l'incertain = A modal logic for reasoning under uncertaintyPereira Gonzalez, Wilmer; Perera Gonzalez, Wilmer; Besnard, Philippe et al.1992, 106 p.Thesis

An SLD-resolution calculus for basic serial multimodal logicsNGUYEN, Linh Anh.Lecture notes in computer science. 2005, pp 151-165, issn 0302-9743, isbn 3-540-29107-5, 1Vol, 15 p.Conference Paper

Epistemic logic in higher order logic : an experiment with COQLescanne, Pierre.2001, 9 p.Report

Control theory, modal logic, and gamesKNIGHT, J. F; LUENSE, B.Lecture notes in computer science. 1997, pp 160-173, issn 0302-9743, isbn 3-540-63358-8Conference Paper

An alternative rule of disjunction in modal logicWILLIAMSON, T.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 89-100, issn 0029-4527Article

A simplified natural deduction approach to certain modal systemsTAPSCOTT, B. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 371-384, issn 0029-4527Article

Semantics of nondeterministic possible worldsORLOWSKA, E.Bulletin of the Polish academy of sciences. Mathematics. 1985, Vol 33, Num 9-10, pp 453-458Article

Maximality in modal logicFLAGG, R. C; FRIEDMAN, H.Annals of pure and applied logic. 1987, Vol 34, Num 2, pp 99-118, issn 0168-0072Article

A logic of abstract argumentationBOELLA, Guido; HULSTIJN, Joris; VAN DER TORRE, Leendert et al.Lecture notes in computer science. 2006, pp 29-41, issn 0302-9743, isbn 3-540-36355-6, 1Vol, 13 p.Conference Paper

The topological effect of improving knowledge acquisitionHEINEMANN, Bernhard.Lecture notes in computer science. 2005, pp 21-30, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper

Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logicTAGAWA, Takahiro; CHENG, Jingde.Lecture notes in computer science. 2002, pp 39-48, issn 0302-9743, isbn 3-540-44038-0, 10 p.Conference Paper

Construction de Modèles pour des Ensembles de Clauses Gardées = Model Building for Sets of Guarded ClausesDierkes, Michael; Caferra, Ricardo.2001, 184 p.Thesis

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modal logics with several operators and provability interpretationsCARLSON, T.Israel Journal of Mathematics. 1986, Vol 54, Num 1, pp 14-24, issn 0021-2172Article

Similarity, approximations and vaguenessDOHERTY, Patrick; LUKASZEWICZ, Witold; SZAŁAS, Andrzej et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28653-5, 2Vol, Part I, 541-550Conference Paper

Strictness of the modal μ-calculus hierarchyALBERUCCI, Luca.Lecture notes in computer science. 2002, pp 185-203, issn 0302-9743, isbn 3-540-00388-6, 19 p.Conference Paper

A modal logic for reasoning about knowledge and time on binary subset treesHEINEMANN, B.Lecture notes in computer science. 1997, pp 298-310, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Getting belief functions from Kripke modelsHAJEK, P.International journal of general systems (Print). 1996, Vol 24, Num 3, pp 325-327, issn 0308-1079Article

On a KTB-modal fuzzy logicNAKAMURA, A; JIAN-MING GAO.Fuzzy sets and systems. 1992, Vol 45, Num 3, pp 327-334, issn 0165-0114Article

The modal status of antinomicsLOKHORST, G.-J. C.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 102-105, issn 0029-4527Article

The modal logic of «all and only»HUMBERSTONE, I. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 177-188, issn 0029-4527Article

A tableaux system for deontic interpreted systemsGOVERNATORI, Guido; LOMUSCIO, Alessio; SERGOT, Marek J et al.Lecture notes in computer science. 2003, pp 339-351, issn 0302-9743, isbn 3-540-20646-9, 13 p.Conference Paper

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logicMEYER, J.-J. C.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 109-136, issn 0029-4527Article

Preliminary notes on a new modal syllogisticENGLEBRETSEN, G.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 381-395, issn 0029-4527Article